Algèbres de Krasner-Tate et générateurs universels

SCINDEMENT D ’ ASSOCIATIVITÉ ET ALGÈBRES DE HOPF par

compatible avec l’unité, alors A est libre comme algèbre associative et commutative (c’est-à-dire est une algèbre symétrique). Ce résultat peut s’étendre à d’autres types d’algèbres à condition de remplacer le produit tensoriel par la somme (colimite) dans cette catégorie d’algèbres (cf. Fresse [Fr] et Oudom [O]). Le but de ce papier est, en un certain sens, de renverser la situation et de mont...

Theorie de Lubin-Tate non-abelienne et representations elliptiques

Codes générateurs minimaux de langages de mots bi-infinis

In this paper we give two families of codes which are minimal generators of biinfmite langüages: the family of very thin codes (which contains the rational codes) and another family containing the circular codes. We propose the conjecture that ail codes are minimal generators. Résumé. Dans cet article, nous exhibons deux familles de codes qui sont générateurs minimaux du langage de mots bi-infi...

Algèbres de réalisabilité: un programme pour bien ordonner R

Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...

Approche évolutionniste de la recherche d'automates cellulaires universels

RÉSUMÉ. Le fameux problème de la fréquence des automates cellulaires universels est liée à l’émergence de la calculabilité dans les systèmes complexes avec des interactions locales. Il a été posé une première fois par Wolfram : « How commun are computational universality and undecidability in cellular automata ». Ce papier décrit des algorithmes évolutionnaires donnant des éléments de réponse à...